3

Comments on deriving protocol specifications from service specifications written in LOTOS

Year:
1999
Language:
english
File:
PDF, 39 KB
english, 1999
5

Error-preserving local transformations on communication protocols

Year:
2012
Language:
english
File:
PDF, 1.26 MB
english, 2012
7

On “Exploring alternatives for transition verification”

Year:
2012
Language:
english
File:
PDF, 290 KB
english, 2012